정보과학회 논문지 A : 시스템 및 이론
Current Result Document :
| 한글제목(Korean Title) |
ACSR-VP를 이용한 실시간 시스템의 스케줄링 기법에 대한 정형 명세와 검증 |
| 영문제목(English Title) |
Formal Specification and Verification of Scheduling Disciplines for Real-Time Systems using ACSR-VP |
| 저자(Author) |
최진영
임성묵
Jin-Young Choi
Sungmook Lim
|
| 원문수록처(Citation) |
VOL 25 NO. 06 PP. 0568 ~ 0581 (1998. 06) |
한글내용
(Korean Abstract) |
실시간 시스템은 신뢰성이 중요하므로 설계할 때 시스템의 정확성을 입증할 수 있는 방법이 필요하다. 그러한 방법으로 정형기법(Formal Methods)이 연구되어 왔는데, 정형기법은 수학과 노리학을 이용하여 하드웨어 및 소프트웨어 시스템을 설계하고 검증하는 인련의 방법들이다. 정형기법은 수학과 놀리학에 기반을 두고 있으므로 시스템을 묘사하는데 있어서 애매모호하지 않으며, 설계된 시스템이 처음에 의도된 요구사항과 동일한지를 수학적 성질을 이용하여 증명할 수 있다. 본 논문에서는 정형기법의 일종인 ACSR-VP를 이용하여 실시간 시스템의 스케줄링(scheduling) 기법에 대한 명세를 작성하고 검증하는 방법을 제시한다. |
영문내용
(English Abstract) |
As the reliability of real-time systems is important, when one designs a real-time system, methods to guarantee the correctness of the system are needed. Formal methods have been used to design and verify hardware and software systems. Because they are based on mathematics and logics, one can describe a system without ambiguity and prove the equivalence between the implementation of the system and the requirements of the system by the mathematical properties of formal methods. In this paper, we represent how to specify and verify real-time systems scheduled by scheduling algorithm using one of formal methods, called ACSR-VP. |
| 키워드(Keyword) |
|
| 파일첨부 |
PDF 다운로드
|
